I don't think mirroring would work, since the displays are of different resolutions. I think you can make the HDMI the primary display by adding display_default_lcd=0 to the config.txt, so if HDMI is detected, then the primary output would be switched to it.